Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG

For efficiency reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications, and also to perform dependability analyses. AADL (Architecture Analysis and Design Language) has proved its capacity for architectural modeling. This paper presents a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures, such as reliability or availability. We propose an iterative approach for system dependability modeling using AADL. The AADL dependability model is transformed into a GSPN (Generalized Stochastic Petri Net) by applying model transformation rules. An automatic transformation tool has been developed. The dependability measures are obtained from the processing of the resulting GSPN by existing tools. The approach is illustrated on a subsystem of the French air traffic control system. MOTS-CLÉS : modélisation de la sûreté de fonctionnement, évaluation, AADL, RdPSG, transformation de modèle.